Lower Bounds for On-line Graph Problems with Application to On-line Circuit and Optical Routing

JOURNAL ARTICLE published January 2006 in SIAM Journal on Computing

Authors: Yair Bartal | Amos Fiat | Stefano Leonardi

The Application of Multivariate Polynomials to Inference Rules and Partial Tests for Unsatisfiability

JOURNAL ARTICLE published November 1980 in SIAM Journal on Computing

Authors: David A. Plaisted

Exponential Average Time for the Pure Literal Rule

JOURNAL ARTICLE published April 1989 in SIAM Journal on Computing

Authors: Khaled M. Bugrara | Youfang Pan | Paul Walton Purdom, Jr.

A DNF without Regular Shortest Consensus Path

JOURNAL ARTICLE published October 1987 in SIAM Journal on Computing

Authors: Wenqi Huang | Xiangdong Yu

Addition Requirements for Rational Functions

JOURNAL ARTICLE published March 1977 in SIAM Journal on Computing

Authors: David G. Kirkpatrick | Zvi M. Kedem

Amplification of Bounded Depth Monotone Read-Once Boolean Formulae

JOURNAL ARTICLE published February 1991 in SIAM Journal on Computing

Authors: Qian Ping Gu | Akira Maruoka

Requirements for Deadlock-Free, Adaptive Packet Routing

JOURNAL ARTICLE published December 1994 in SIAM Journal on Computing

Authors: Robert Cypher | Luis Gravano

More Nearly Optimal Algorithms for Unbounded Searching, II:The Transfinite Case

JOURNAL ARTICLE published February 1991 in SIAM Journal on Computing

Authors: Edward M. Reingold | Xiaojun Shen

Continuous Group Averaging and Pattern Classification Problems

JOURNAL ARTICLE published December 1973 in SIAM Journal on Computing

Authors: J. C. Dunn

Complexity of Some Problems Concerning Varieties and Quasi-Varieties of Algebras

JOURNAL ARTICLE published January 2000 in SIAM Journal on Computing

Authors: Clifford Bergman | Giora Slutzki

The Specialization of Programs by Theorem Proving

JOURNAL ARTICLE published March 1973 in SIAM Journal on Computing

Authors: C. L. Chang | R. C. T. Lee | J. K. Dixon

There are No Sparse NP_w-Hard Sets

JOURNAL ARTICLE published January 2001 in SIAM Journal on Computing

Authors: Felipe Cucker | Dima Grigoriev

Distributional Word Problem for Groups

JOURNAL ARTICLE published January 1999 in SIAM Journal on Computing

Authors: Jie Wang

Short Presburger Arithmetic Is Hard

JOURNAL ARTICLE published April 2022 in SIAM Journal on Computing

Authors: Danny Nguyen | Igor Pak

Succinct Representation of Balanced Parentheses and Static Trees

JOURNAL ARTICLE published January 2001 in SIAM Journal on Computing

Authors: J. Ian Munro | Venkatesh Raman

Special Section on the Fifty-First Annual IEEE Symposium on Foundations of Computer Science (FOCS 2010)

JOURNAL ARTICLE published January 2014 in SIAM Journal on Computing

Authors: Lap Chi Lau | Tal Malkin | Ryan O'Donnell | Luca Trevisan

A Lower Bound for Parallel String Matching

JOURNAL ARTICLE published October 1992 in SIAM Journal on Computing

Authors: Dany Breslauer | Zvi Galil

On the Complexity of a Game Related to the Dictionary Problem

JOURNAL ARTICLE published October 1990 in SIAM Journal on Computing

Authors: K. Mehlhorn | St. Näher | M. Rauch

Approximating Minimum Cost Connectivity Orientation and Augmentation

JOURNAL ARTICLE published January 2018 in SIAM Journal on Computing

Authors: Mohit Singh | László A. Végh

Improved Cheeger's Inequality and Analysis of Local Graph Partitioning using Vertex Expansion and Expansion Profile

JOURNAL ARTICLE published January 2017 in SIAM Journal on Computing

Research funded by National Science Foundation (1216642)

Authors: Tsz Chiu Kwok | Lap Chi Lau | Yin Tat Lee